[prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 286

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

276 330 322 352 0 1940 0 710 438

N.S.

1 1.20 1.17 1.28 0.00 7.03 0.00 2.57 1.59

time (sec)

N/A 0.385 9.589 0.786 0.000 3.547 0.000 0.693 5.237

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

288 333 380 573 757 348 0 584 411

N.S.

1 1.16 1.32 1.99 2.63 1.21 0.00 2.03 1.43

time (sec)

N/A 0.283 2.650 0.458 0.295 3.145 0.000 0.601 5.238

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

257 273 433 385 496 255 0 376 287

N.S.

1 1.06 1.68 1.50 1.93 0.99 0.00 1.46 1.12

time (sec)

N/A 0.198 2.514 0.382 0.294 3.840 0.000 0.620 5.518

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 273 219 284 170 0 212 203

N.S.

1 1.00 2.18 1.75 2.27 1.36 0.00 1.70 1.62

time (sec)

N/A 0.100 1.307 0.313 0.287 2.145 0.000 0.507 5.307

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

153 257 419 224 0 556 0 285 1902

N.S.

1 1.68 2.74 1.46 0.00 3.63 0.00 1.86 12.43

time (sec)

N/A 0.220 2.430 0.379 0.000 3.448 0.000 0.568 2.892

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

161 274 455 216 0 891 0 317 3135

N.S.

1 1.70 2.83 1.34 0.00 5.53 0.00 1.97 19.47

time (sec)

N/A 0.241 4.174 0.444 0.000 2.716 0.000 0.505 5.274

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

188 301 393 227 0 1208 0 376 2500

N.S.

1 1.60 2.09 1.21 0.00 6.43 0.00 2.00 13.30

time (sec)

N/A 0.275 3.480 0.608 0.000 4.272 0.000 0.642 8.500

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 227 398 227 0 1038 0 307 264

N.S.

1 1.28 2.24 1.28 0.00 5.83 0.00 1.72 1.48

time (sec)

N/A 0.163 3.516 0.574 0.000 2.652 0.000 0.600 4.985

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 327 274 303 0 1746 0 601 385

N.S.

1 1.23 1.03 1.14 0.00 6.56 0.00 2.26 1.45

time (sec)

N/A 0.232 9.060 0.897 0.000 2.550 0.000 0.654 5.081

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 236 1243 309 646 309 0 344 211

N.S.

1 1.29 6.79 1.69 3.53 1.69 0.00 1.88 1.15

time (sec)

N/A 0.222 6.494 0.223 0.287 2.513 0.000 0.559 2.451

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 171 275 208 420 227 0 219 139

N.S.

1 1.46 2.35 1.78 3.59 1.94 0.00 1.87 1.19

time (sec)

N/A 0.163 2.640 0.190 0.292 2.275 0.000 0.521 1.938

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 125 237 127 241 165 0 136 85

N.S.

1 1.84 3.49 1.87 3.54 2.43 0.00 2.00 1.25

time (sec)

N/A 0.094 1.749 0.187 0.272 2.031 0.000 0.540 1.824

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 109 61 107 80 0 70 41

N.S.

1 1.00 2.53 1.42 2.49 1.86 0.00 1.63 0.95

time (sec)

N/A 0.054 0.285 0.168 0.284 3.247 0.000 0.489 1.727

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 134 160 74 0 367 0 110 110

N.S.

1 1.61 1.93 0.89 0.00 4.42 0.00 1.33 1.33

time (sec)

N/A 0.111 0.695 0.211 0.000 3.083 0.000 0.472 1.947

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 196 286 146 0 711 0 221 187

N.S.

1 1.35 1.97 1.01 0.00 4.90 0.00 1.52 1.29

time (sec)

N/A 0.171 3.254 0.311 0.000 2.050 0.000 0.465 2.036

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

207 268 1422 221 0 1357 0 362 379

N.S.

1 1.29 6.87 1.07 0.00 6.56 0.00 1.75 1.83

time (sec)

N/A 0.279 6.836 0.422 0.000 2.465 0.000 0.552 2.975

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

258 315 446 436 836 472 0 506 268

N.S.

1 1.22 1.73 1.69 3.24 1.83 0.00 1.96 1.04

time (sec)

N/A 0.291 4.178 0.279 0.292 1.619 0.000 0.590 1.973

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 249 310 317 580 376 0 359 193

N.S.

1 1.29 1.61 1.64 3.01 1.95 0.00 1.86 1.00

time (sec)

N/A 0.213 2.883 0.236 0.288 2.316 0.000 0.560 1.912

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 193 294 216 370 282 0 250 136

N.S.

1 1.45 2.21 1.62 2.78 2.12 0.00 1.88 1.02

time (sec)

N/A 0.158 1.641 0.217 0.294 1.482 0.000 0.511 1.880

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 149 181 131 211 165 0 158 89

N.S.

1 1.67 2.03 1.47 2.37 1.85 0.00 1.78 1.00

time (sec)

N/A 0.100 0.781 0.206 0.279 2.867 0.000 0.478 1.771

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 76 60 101 62 0 60 45

N.S.

1 1.00 1.17 0.92 1.55 0.95 0.00 0.92 0.69

time (sec)

N/A 0.057 0.223 0.168 0.275 2.226 0.000 0.450 1.714

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 183 209 122 0 618 0 249 168

N.S.

1 1.42 1.62 0.95 0.00 4.79 0.00 1.93 1.30

time (sec)

N/A 0.167 1.719 0.240 0.000 2.362 0.000 0.502 1.915

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 260 376 203 0 1268 0 474 314

N.S.

1 1.23 1.78 0.96 0.00 6.01 0.00 2.25 1.49

time (sec)

N/A 0.251 3.930 0.362 0.000 2.840 0.000 0.527 2.181

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

284 346 2220 280 0 2062 0 751 505

N.S.

1 1.22 7.82 0.99 0.00 7.26 0.00 2.64 1.78

time (sec)

N/A 0.384 7.391 0.478 0.000 2.369 0.000 0.565 2.282

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

363 405 1338 579 1026 640 0 672 327

N.S.

1 1.12 3.69 1.60 2.83 1.76 0.00 1.85 0.90

time (sec)

N/A 0.353 6.723 0.266 0.322 1.775 0.000 0.732 1.908

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 329 439 441 747 521 0 504 252

N.S.

1 1.15 1.53 1.54 2.60 1.82 0.00 1.76 0.88

time (sec)

N/A 0.277 2.124 0.280 0.300 1.858 0.000 0.607 1.865

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 265 292 321 515 403 0 374 195

N.S.

1 1.29 1.42 1.57 2.51 1.97 0.00 1.82 0.95

time (sec)

N/A 0.188 2.403 0.240 0.292 1.347 0.000 0.576 1.816

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 193 295 216 333 262 0 259 147

N.S.

1 1.45 2.22 1.62 2.50 1.97 0.00 1.95 1.11

time (sec)

N/A 0.136 1.473 0.225 0.301 2.342 0.000 0.544 1.799

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 180 74 200 119 0 129 79

N.S.

1 1.00 1.57 0.64 1.74 1.03 0.00 1.12 0.69

time (sec)

N/A 0.106 0.491 0.198 0.285 1.436 0.000 0.508 1.833

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 135 64 125 99 0 75 66

N.S.

1 1.00 1.32 0.63 1.23 0.97 0.00 0.74 0.65

time (sec)

N/A 0.081 0.349 0.224 0.282 3.146 0.000 0.478 1.738

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 235 345 203 0 1027 0 471 228

N.S.

1 1.30 1.91 1.12 0.00 5.67 0.00 2.60 1.26

time (sec)

N/A 0.234 3.062 0.301 0.000 3.023 0.000 0.529 1.950

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

288 325 1772 284 0 1725 0 918 464

N.S.

1 1.13 6.15 0.99 0.00 5.99 0.00 3.19 1.61

time (sec)

N/A 0.342 7.103 0.404 0.000 3.516 0.000 0.579 2.120

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

368 414 1096 365 0 2715 0 1369 655

N.S.

1 1.12 2.98 0.99 0.00 7.38 0.00 3.72 1.78

time (sec)

N/A 0.501 7.882 0.549 0.000 4.294 0.000 0.640 2.359

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 102 302 0 327 0 0 -1

N.S.

1 1.00 1.67 4.95 0.00 5.36 0.00 0.00 -0.02

time (sec)

N/A 0.093 0.247 3.576 0.000 2.531 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 187 503 0 1120 0 0 -1

N.S.

1 1.00 1.34 3.59 0.00 8.00 0.00 0.00 -0.01

time (sec)

N/A 0.295 18.487 3.637 0.000 5.317 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 107 170 0 262 0 0 -1

N.S.

1 1.00 1.37 2.18 0.00 3.36 0.00 0.00 -0.01

time (sec)

N/A 0.098 0.218 3.490 0.000 4.101 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 171 403 0 1172 0 0 -1

N.S.

1 1.00 1.21 2.86 0.00 8.31 0.00 0.00 -0.01

time (sec)

N/A 0.335 0.277 3.403 0.000 3.902 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 94 432 0 360 0 139 -1

N.S.

1 1.00 1.54 7.08 0.00 5.90 0.00 2.28 -0.02

time (sec)

N/A 0.090 0.224 8.218 0.000 2.704 0.000 0.868 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

149 149 427 568 0 1196 0 0 -1

N.S.

1 1.00 2.87 3.81 0.00 8.03 0.00 0.00 -0.01

time (sec)

N/A 0.368 1.399 13.197 0.000 8.049 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

122 122 229015 520 0 1021 0 0 -1

N.S.

1 1.00 1877.17 4.26 0.00 8.37 0.00 0.00 -0.01

time (sec)

N/A 0.192 33.848 9.033 0.000 3.717 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 141 518 0 1099 0 0 -1

N.S.

1 1.00 1.14 4.18 0.00 8.86 0.00 0.00 -0.01

time (sec)

N/A 0.235 0.406 9.424 0.000 3.294 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 198 473 0 1167 0 0 -1

N.S.

1 1.00 1.19 2.83 0.00 6.99 0.00 0.00 -0.01

time (sec)

N/A 0.376 0.412 13.859 0.000 4.416 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 155 727 0 1695 0 0 -1

N.S.

1 1.00 0.67 3.15 0.00 7.34 0.00 0.00 -0.00

time (sec)

N/A 0.514 0.355 13.784 0.000 110.119 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 201 313 410 291 0 850 555

N.S.

1 1.00 0.80 1.25 1.64 1.16 0.00 3.40 2.22

time (sec)

N/A 0.343 4.103 0.399 0.286 3.058 0.000 0.586 5.553

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 143 223 288 220 0 586 395

N.S.

1 1.00 0.79 1.24 1.60 1.22 0.00 3.26 2.19

time (sec)

N/A 0.242 1.157 0.345 0.278 2.394 0.000 0.527 5.494

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 88 143 179 158 0 294 227

N.S.

1 1.00 0.77 1.24 1.56 1.37 0.00 2.56 1.97

time (sec)

N/A 0.132 0.616 0.259 0.298 3.001 0.000 0.506 5.208

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 75 75 96 103 0 153 104

N.S.

1 1.00 1.23 1.23 1.57 1.69 0.00 2.51 1.70

time (sec)

N/A 0.055 0.036 0.188 0.279 2.117 0.000 0.465 2.789

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 112 92 0 328 0 127 573

N.S.

1 1.00 1.47 1.21 0.00 4.32 0.00 1.67 7.54

time (sec)

N/A 0.099 0.193 0.272 0.000 5.433 0.000 0.536 2.730

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 97 132 0 403 0 172 106

N.S.

1 1.00 0.98 1.33 0.00 4.07 0.00 1.74 1.07

time (sec)

N/A 0.109 0.373 0.233 0.000 2.625 0.000 0.480 2.122

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 172 236 0 772 0 399 250

N.S.

1 1.00 1.04 1.42 0.00 4.65 0.00 2.40 1.51

time (sec)

N/A 0.222 0.851 0.364 0.000 3.040 0.000 0.551 4.987

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 405 376 0 1264 0 693 439

N.S.

1 1.00 1.71 1.59 0.00 5.33 0.00 2.92 1.85

time (sec)

N/A 0.378 1.039 0.494 0.000 2.975 0.000 0.543 6.395

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 580 480 0 1119 0 606 2500

N.S.

1 1.00 2.35 1.94 0.00 4.53 0.00 2.45 10.12

time (sec)

N/A 0.303 4.456 0.633 0.000 183.450 0.000 0.565 11.315

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 389 289 0 803 0 339 2500

N.S.

1 1.00 2.29 1.70 0.00 4.72 0.00 1.99 14.71

time (sec)

N/A 0.240 1.461 0.484 0.000 38.069 0.000 0.562 9.661

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 135 165 0 540 0 195 2500

N.S.

1 1.00 1.31 1.60 0.00 5.24 0.00 1.89 24.27

time (sec)

N/A 0.204 0.832 0.366 0.000 8.621 0.000 0.507 7.316

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 112 92 0 321 0 127 571

N.S.

1 1.00 1.47 1.21 0.00 4.22 0.00 1.67 7.51

time (sec)

N/A 0.089 0.182 0.294 0.000 2.907 0.000 0.518 2.810

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 119 108 0 1072 0 522 2665

N.S.

1 1.00 0.98 0.89 0.00 8.86 0.00 4.31 22.02

time (sec)

N/A 0.191 0.234 0.467 0.000 5.018 0.000 0.580 4.358

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 229 208 0 2863 0 331 2500

N.S.

1 1.00 1.22 1.11 0.00 15.31 0.00 1.77 13.37

time (sec)

N/A 0.422 0.709 1.177 0.000 98.584 0.000 0.544 15.423

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) F(-1) F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

379 379 1137 689 0 0 0 857 2500

N.S.

1 1.00 3.00 1.82 0.00 0.00 0.00 2.26 6.60

time (sec)

N/A 0.477 6.527 1.465 0.000 0.000 0.000 0.624 16.949

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 511 465 0 0 0 551 2500

N.S.

1 1.00 1.72 1.57 0.00 0.00 0.00 1.86 8.42

time (sec)

N/A 0.382 4.008 1.089 0.000 0.000 0.000 0.554 14.374

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 362 314 0 1358 0 539 2500

N.S.

1 1.00 1.59 1.38 0.00 5.96 0.00 2.36 10.96

time (sec)

N/A 0.337 1.764 0.778 0.000 106.479 0.000 0.581 11.297

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 180 215 0 820 0 267 2500

N.S.

1 1.00 0.91 1.09 0.00 4.14 0.00 1.35 12.63

time (sec)

N/A 0.261 0.710 0.559 0.000 14.501 0.000 0.514 9.749

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 97 132 0 408 0 173 106

N.S.

1 1.00 0.97 1.32 0.00 4.08 0.00 1.73 1.06

time (sec)

N/A 0.099 0.396 0.242 0.000 2.765 0.000 0.495 2.199

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 176 210 0 2900 0 330 2500

N.S.

1 1.00 0.95 1.13 0.00 15.59 0.00 1.77 13.44

time (sec)

N/A 0.416 1.026 1.204 0.000 166.846 0.000 0.524 15.563

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 183 355 0 0 0 0 -1

N.S.

1 1.00 0.86 1.67 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.201 3.779 4.942 0.000 0.000 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

196 196 44216 351 0 0 0 0 -1

N.S.

1 1.00 225.59 1.79 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.131 35.522 4.161 0.000 0.000 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 233 219 0 0 0 0 -1

N.S.

1 1.00 1.21 1.14 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.113 3.520 3.926 0.000 0.000 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 176 177 0 0 0 0 -1

N.S.

1 1.00 1.60 1.61 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 1.796 9.728 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 176 170 0 0 0 0 -1

N.S.

1 1.00 1.41 1.36 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.448 11.069 0.000 0.000 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

396 396 39039 291 0 0 0 0 -1

N.S.

1 1.00 98.58 0.73 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.412 35.332 4.191 0.000 0.000 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 223 481 0 0 0 0 -1

N.S.

1 1.00 1.31 2.83 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.574 13.602 6.339 0.000 0.000 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 83 254 0 0 0 0 -1

N.S.

1 1.00 1.00 3.06 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.284 0.250 6.539 0.000 0.000 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 222 461 0 0 0 0 -1

N.S.

1 1.00 1.32 2.74 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.703 13.515 6.229 0.000 0.000 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 264 153 0 0 0 0 -1

N.S.

1 1.00 2.78 1.61 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.076 5.361 5.011 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F F(-1) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

295 295 0 308 0 0 0 0 -1

N.S.

1 1.00 0.00 1.04 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.617 19.733 6.759 0.000 0.000 0.000 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

209 209 375 225 0 0 0 0 -1

N.S.

1 1.00 1.79 1.08 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.197 13.976 4.812 0.000 0.000 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 156 224 0 0 0 0 -1

N.S.

1 1.00 0.73 1.05 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.246 4.842 5.118 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

229 229 1019 238 0 535 0 0 -1

N.S.

1 1.00 4.45 1.04 0.00 2.34 0.00 0.00 -0.00

time (sec)

N/A 0.303 8.308 6.823 0.000 1.017 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F F(-1) F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

312 312 0 357 0 0 0 0 -1

N.S.

1 1.00 0.00 1.14 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.598 14.730 6.546 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 183 355 0 0 0 0 -1

N.S.

1 1.00 0.86 1.67 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.190 0.405 5.237 0.000 0.000 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 223 481 0 0 0 0 -1

N.S.

1 1.00 1.31 2.83 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.570 13.484 6.856 0.000 0.000 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 187 236 0 0 0 0 -1

N.S.

1 1.00 1.83 2.31 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 6.739 5.589 0.000 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 165 236 0 0 0 0 -1

N.S.

1 1.00 0.79 1.13 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.252 3.080 5.815 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 83 254 0 0 0 0 -1

N.S.

1 1.00 1.00 3.06 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.295 0.239 6.736 0.000 0.000 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 246 346 0 0 0 0 -1

N.S.

1 1.00 1.48 2.08 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.599 13.676 6.277 0.000 0.000 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 151 49 74 131 0 47 47

N.S.

1 1.00 2.25 0.73 1.10 1.96 0.00 0.70 0.70

time (sec)

N/A 0.218 0.974 0.251 0.280 2.448 0.000 1.259 1.934

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 175 62 96 158 0 60 60

N.S.

1 1.00 1.97 0.70 1.08 1.78 0.00 0.67 0.67

time (sec)

N/A 0.234 1.141 0.270 0.287 2.636 0.000 1.336 2.429

[prev] [prev-tail] [front] [up]